Nuprl Definition : lelt
12,41
postcript
pdf
i
j
<
k
== (
i
j
) & (
j
<
k
)
latex
Definitions
P
&
Q
,
A
B
,
a
<
b
FDL editor aliases
lelt
origin
j < k == (i j) & (j < k) j < k == (i j) & (j < k) B